منابع مشابه
Transition-Based Directed Model Checking
Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by influencing the order in which states are explored during the state space traversal. The order is typically determined by an abstract distance function that estimates a state’s distance to a nearest error state. In this paper, we p...
متن کاملMartin Wehrle Transition - Based Directed Model Checking
Software and hardware systems are rapidly increasing in size and complexity. However, with increasing system complexity, the system design process becomes more error-prone. In particular, this is the case for concurrent systems, where subtle bugs may occur because of unexpected thread interleavings. Therefore, approaches to effectively find bugs are required. Currently, the most common approach...
متن کاملPhase transition in a directed traffic flow network.
The generic feature of traffic in a network of flowing electronic data packets is a phase transition from a stationary free-flow phase to a continuously growing congested nonstationary phase. In the most simple network of directed oriented square lattice we have been able to observe all crucial features of such flow systems having nontrivial critical behavior near the critical point of transiti...
متن کاملPhase Transition in Computer Network Trac Model Phase Transition in Computer Network Trac Model
We propose and study here a simple model of computer network tra c which can exhibit a phase transition from a low to high congestion state measured in terms of average travel time of packets as a function of the packet creation rate in the network. In the model, packets are generated with destination addresses, and are transferred from one router to another toward their destinations. The route...
متن کاملA Smooth Transition Model between Kinetic and Diffusion Equations
This paper presents a model which provides a smooth transition between a kinetic and a diffusion domain. The idea is to use a buffer zone, in which both diffusion and kinetic equations will be solved. The solution of the original kinetic equation will be recovered as the sum of the solutions of these two equations. We use an artificial connecting function which makes the equation on each domain...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Chemical Physics
سال: 2019
ISSN: 0021-9606,1089-7690
DOI: 10.1063/1.5110896